union X { X; };

protocol undefSelfRecUnion {
child: __delete__(X x);
};
